let x =
  let y = 
    (let x = 2 in 1)
  in 
  assert (y = 1) in 
  0
